منابع مشابه
Properly Ergodic Structures
We study ergodic Sym(N)-invariant probability measures on the space of L-structures with domain N. We call such measures “ergodic structures”. In particular, we are interested in the properly ergodic case, in which no isomorphism class has measure 1. A Morley–Scott analysis shows that proper ergodicity can always be explained by a splitting of measure over continuum-many types in a countable fr...
متن کاملLattice Logic Properly Displayed
We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination. Our proposal ...
متن کاملLinear Logic Properly Displayed
We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...
متن کاملValuing health properly.
This comment on Paul Dolan's essay, 'Developing methods that really do value the "Q" in the QALY,' seconds his critique of current preference-based methods of valuing health states but disputes both his assumption that health states should be appraised by their bearing on well-being and his conclusion that the bearing of health states on well-being should be measured in terms of subjective expe...
متن کاملProperly orderable graphs
In a graph G = (V, E) provided with a linear order ”<” on V , a chordless path with vertices a, b, c, d and edges ab, bc, cd is called an obstruction if both a < b and d < c hold. Chvátal [2] defined the class of perfectly orderable graphs (i.e., graphs possessing an acyclic orientation of the edges such that no obstruction is induced) and proved that they are perfect. We introduce here the cla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Economic Review
سال: 2016
ISSN: 0002-8282
DOI: 10.1257/aer.20141141